A note on logical relations between semantics and syntax
نویسندگان
چکیده
منابع مشابه
A Note on Logical Relations Between Semantics and Syntax
This note gives a new proof of the ‘operational extensionality’ property of Abramsky’s lazy lambda calculus—namely the coincidence of contextual equivalence with a co-inductively defined notion of ‘applicative bisimilarity’. This purely syntactic result is here proved using a logical relation (due to Plotkin) between the syntax and its denotational semantics. The proof exploits a mixed inductiv...
متن کاملSet-Oriented Logical Connectives: Syntax and Semantics
Of the common commutative binary logical connectives, only and and ormay be used as operators that take arbitrary numbers of arguments with order and multiplicity being irrelevant, that is, as connectives that take sets of arguments. This is especially evident in the Common Logic Interchange Format, in which it is easy for operators to be given arbitrary numbers of arguments. The reason is that...
متن کاملA Note On Logical PERs and ReducibilityLogical Relations
We prove a general theorem for establishing properties expressed by binary relations on typed ((rst-order)-terms, using a variant of the reducibility method and logical PERs. As an application, we prove simultaneously that-reduction in the simply-typed-calculus is strongly normalizing, and that the Church-Rosser property holds (and similarly for-reduction).
متن کاملA duality between LM-fuzzy possibility computations and their logical semantics
Let X be a dcpo and let L be a complete lattice. The family σL(X) of all Scott continuous mappings from X to L is a complete lattice under pointwise order, we call it the L-fuzzy Scott structure on X. Let E be a dcpo. A mapping g : σL(E) −> M is called an LM-fuzzy possibility valuation of E if it preserves arbitrary unions. Denote by πLM(E) the set of all LM-fuzzy possibility valuations of E. T...
متن کاملOn the meaning of logical rules I : syntax vs . semantics ∗
Oui, c’est imbécile ce que je dis ! Seulement je ne sais pas comment concilier tout ça. Il est sûr que je ne me sens libre que parce que j’ai fait mes classes et que je ne sors de la fugue que parce que je la sais. Claude-Achille Debussy Entretiens avec Ernest Guiraud, ∼ 1890. This paper is the first of a new series : ten years ago I wrote [15], a programmative paper that launched the program o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic Journal of IGPL
سال: 1997
ISSN: 1367-0751,1368-9894
DOI: 10.1093/jigpal/5.4.589